reachable marking

[ˈriːtʃəbl ˈmɑːkɪŋ]
  • 释义

    可达标识

数据更新时间:2025-11-15 02:36:54
1、

In a nutshell, this means that the collector first walks through the set of reachable objects, marking them as live data.

简言之,这意味着收集器首先逐一访问可访问的对象,将它们标记为实时数据。

互联网摘选

2、

Second, to propose and realize a algorithm to detect whether all the reachable marking can return to the initial marking.

根据所构造可达树的特点提出并实现初始标识可达性判断算法,检测是否所有的可达标识均可回到初始标识。

互联网摘选

3、

Deciding liveness of bounded Petri nets with its reachable marking graph is easy, but for unbounded Petri nets that are generally existing, finding an algorithm for its liveness decision is not easy.

对有界Petri网,通过构造其可达标识图来判定其活性是容易的,但对于大量的无界Petri网,找到一个判定其活性的一般性算法并不容易。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索

纳米英语英语词典(dict.nm3.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈